Kz-monadic Categories and Their Logic
نویسندگان
چکیده
Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic for Kan-injectivity consequences and prove that in “reasonable” categories (such as Pos or Top0) it is also complete for every set H of squares.
منابع مشابه
‘Hausdorff distance’ via conical cocompletion
In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple “fully faithfulness” conditions. Conical weights form a saturated class, and th...
متن کاملLimited Set quantifiers over Countable Linear Orderings
In this paper, we study several sublogics of monadic secondorder logic over countable linear orderings, such as first-order logic, firstorder logic on cuts, weak monadic second-order logic, weak monadic second-order logic with cuts, as well as fragments of monadic secondorder logic in which sets have to be well ordered or scattered. We give decidable algebraic characterizations of all these log...
متن کاملA Logic on Subobjects and Recognizability
We introduce a simple logic that allows to quantify over the subobjects of a categorical object. We subsequently show that, for the category of graphs, this logic is equally expressive as second-order monadic graph logic (msogl). Furthermore we show that for the more general setting of hereditary pushout categories, a class of categories closely related to adhesive categories, we can recover Co...
متن کاملSEMI - ABELIAN MONADIC CATEGORIES Dedicated to Aurelio Carboni on the occasion of his sixtieth birthday . MARINO GRAN AND
We characterize semi-abelian monadic categories and their localizations. These results are then used to obtain a characterization of pointed protomodular quasimonadic categories, and in particular of protomodular quasivarieties.
متن کاملMonadic Logic Programs and Functional Complexity
Problems related to the complexity and to the decidability of several languages weaker than Prolog are studied in this paper. In particular, monadic logic programs, that is, programs containing only monadic functions and monadic predicates, are considered in detail. The functional complexity of a monadic logic program is the language of all words fi fk such that the literal p(fi(...(fk(a)). ..)...
متن کامل